Search Results for ''

published presentations and documents on DocSlides.

Program verification via an intermediate language

by kittie-lecroy

K. Rustan M. Leino. Microsoft Research, Redmond. ...

Specification and Verification of

by tawny-fly

Object-Oriented Software. K. Rustan M. Leino. R...

Specifying and verifying software

by tatiana-dople

K. Rustan M. Leino. Microsoft Research, Redmond, ...